English translation for "logic in computer science"

计算机科学中的逻辑学
计算机逻辑

Related Translations:

logic:  n.1.逻辑，理论学。2.推理[方法]；逻辑性，条理性。3. 威力，压力，强制(力)。 短语和例子deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure

logics:  逻辑学

Example Sentences:

1.

A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols . in proc . 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols , indianapolis , indiana , june 21 - 24 , 1998 , http : citeseer . ist . psu . edu clarke98machine . html 为了验证更多的性质,我们的公理集中加入了一些新的特性,如动态性,使我们可以推导协议的每个执行步所得到的知识还有秘密性,我们在公理中加入那些处理智能体间共享秘密的公理

Similar Words：

"logic grammar" English translation, "logic graph" English translation, "logic ground" English translation, "logic hazard" English translation, "logic high" English translation, "logic in early qing" English translation, "logic in grammar and rhetoric" English translation, "logic in linguistics" English translation, "logic in memory" English translation, "logic in memory computer" English translation